Derivative of arcsec(x) x